how solenoids work